#include"init.h"
void kernel_init(void){
    for(;;){}
}